1·Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
2·Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
3·The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
4·The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
5·There has been a lot of success in the study of automated theorem proving during the past 50 years.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
6·There is however a much larger disconnect between the world of theorem proving and dynamic languages.
然而在理论层面和动态语言实际应用之间还是存在一些差距的。
7·To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
8·Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
9·Meanwhile, the application examples of equivalent transformation in the modeling, transfer function calculating and theorem proving are suggested.
文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例。
10·The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。